A theory model core for module interconnection languages
نویسندگان
چکیده
The Theory–Model paradigm is a way of thinking about design methods. The theory of a method specifies categories of information and axioms about them. A particular design is an interpretation of the theory if it assigns meaning to all of the categories, and is a model if it satisfies all of the axioms. Module Interconnection Languages (MILs) describe and enforce the modular structure of systems. Originally developed in the 1970’s, research in the area has reemerged in several incarnations over the years. While there have been differences in each approach, there are many features common to all of the MILs. This paper attempts to provide a characterization of the core features using the Theory–Model paradigm. In doing so, we hope to evaluate the use of the Theory–Model approach for comparing more complex design notations. 1 A Theory Model Core for Module Interconnection Languages Thomas R. Dean David A. Lamb [email protected] [email protected] October 1994 Technical Report ISSN-0836-0235-94-370 Department of Computing and Information Science, Queen’s University Kingston, Canada K7L 3N6 Document prepared 10/7/94 Copyright © Thomas Roy Dean, David Alex Lamb
منابع مشابه
A. Summary of Research Progress: Theory of the Reticular
Research on the functional organization of the reticular core of vertebrate control nervous systems has reached a significant landmark. Our problem is as described in Quarterly Progress Report No. 76 (page 313), but our progress has been achieved with a somewhat different model than that mentioned there. The new model is enclosed within heavy lines in Fig. XXII-1, with everything outside only f...
متن کاملA Framework for Specifying and Visualizing Architectural Designs
Architectural designs specify the components of a software system, their interfaces, and their interrelationships. Module Interconnection Languages (MILs) are useful for specifying architectural designs, but lack an intuitive visual representation similar to the visual design notations found in CASE tools. This paper presents a framework for formally de ning the syntax and semantics of language...
متن کاملAnalysis of Laminated Soft Core Sandwich Plate Having Interfacial Imperfections by an Efficient C0 FE Model
An efficient C0 continuous two dimensional (2D) finite element (FE) model is developed based on a refined higher order shear deformation theory (RHSDT) for the static analysis of soft core sandwich plate having imperfections at the layer interfaces. In this (RHSDT) theory, the in-plane displacement field for the face sheets and the core is obtained by superposing a globally varying cubic displa...
متن کاملTyped Cross - Module
Higher-order modules are very e ective in structuring large programs and de ning generic, reusable software components. Unfortunately, many compilation techniques for the core languages do not work across the module boundaries. As a result, few optimizing compilers support these module facilities well. This paper exploits the semantic property of ML-style modules to support e cient cross-module...
متن کاملXDR Binding to LISP
We describe a binding of the XDR protocol to the Common LISP programming language and the binding's routine's library implementation. The implementation solves compatibility problems arising in the exchange of structured data between modules coded in diierent programming languages and/or hosted by computing environments with diierent hardware architectures. Our facility is used for module inter...
متن کامل